Total Books: 1 - 1 /1
B 2007: Formal Specification and Development in B
These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
Continue reading
Total Books: 1 - 1 /1
